Section: Partnerships and Cooperations
National Initiatives
ANR
-
Goal: Develop computer-aided proofs of numerical values, with certified and reasonably tight error bounds, without sacrificing efficiency.
Leader: B. Salvy (Inria, ÉNS Lyon). Participants: Assia Mahboubi, Th. Sibut-Pinote.
Website: http://fastrelax.gforge.inria.fr/.